翻訳と辞書
Words near each other
・ Streaker (rocket)
・ Streaker (video game)
・ Streakin Six
・ Streaking
・ Streaking (microbiology)
・ Streaking at educational institutions
・ Streaky Bay Airport
・ Streaky Bay, South Australia
・ Streaky seedeater
・ Streaky the Supercat
・ Streaky-breasted flufftail
・ Streaky-breasted spiderhunter
・ Streaky-headed seedeater
・ Stream
・ Stream (album)
Stream (computer science)
・ Stream (computing)
・ Stream (disambiguation)
・ Stream bed
・ Stream bluet
・ Stream brown frog
・ Stream capacity
・ Stream capture
・ Stream catfish
・ Stream cipher
・ Stream cipher attack
・ Stream Cliff Farm
・ Stream competency
・ Stream Control Transmission Protocol
・ Stream Energy


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Stream (computer science) : ウィキペディア英語版
Stream (computer science)

In type theory and functional programming, a stream is a potentially infinite analog of a list, given by the coinductive definition:

data Stream α = Cons α (Stream α)

Generating and computing with streams requires lazy evaluation, either implicitly in a lazily evaluated language or by creating and forcing thunks in an eager language. In total languages they must be defined as codata and can be iterated over using (guarded) corecursion.
== See also ==

* Coinduction


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Stream (computer science)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.